deadlock characterization